home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Dr. Windows 3
/
dr win3.zip
/
dr win3
/
MISCELLA
/
TEX2RTF.ZIP
/
TEX2RTF.TEX
/
labels.pl
< prev
next >
Wrap
Text File
|
1993-10-26
|
11KB
|
430 lines
# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate labels original text with physical files.
$key = q/HUGE3/;
$external_labels{$key} = "$URL/" . q|node62_ct.html|;
$noresave{$key} = "$nosave";
$key = q/Huge2/;
$external_labels{$key} = "$URL/" . q|node61_ct.html|;
$noresave{$key} = "$nosave";
$key = q/LARGE3/;
$external_labels{$key} = "$URL/" . q|node72_ct.html|;
$noresave{$key} = "$nosave";
$key = q/LaTeX/;
$external_labels{$key} = "$URL/" . q|node73_ct.html|;
$noresave{$key} = "$nosave";
$key = q/Large2/;
$external_labels{$key} = "$URL/" . q|node71_ct.html|;
$noresave{$key} = "$nosave";
$key = q/TeX/;
$external_labels{$key} = "$URL/" . q|node106_ct.html|;
$noresave{$key} = "$nosave";
$key = q/abstract/;
$external_labels{$key} = "$URL/" . q|node14_ct.html|;
$noresave{$key} = "$nosave";
$key = q/addcontentsline/;
$external_labels{$key} = "$URL/" . q|node15_ct.html|;
$noresave{$key} = "$nosave";
$key = q/author/;
$external_labels{$key} = "$URL/" . q|node16_ct.html|;
$noresave{$key} = "$nosave";
$key = q/backslash/;
$external_labels{$key} = "$URL/" . q|node17_ct.html|;
$noresave{$key} = "$nosave";
$key = q/bf/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|;
$noresave{$key} = "$nosave";
$key = q/bibitem/;
$external_labels{$key} = "$URL/" . q|node19_ct.html|;
$noresave{$key} = "$nosave";
$key = q/bibliography/;
$external_labels{$key} = "$URL/" . q|node21_ct.html|;
$noresave{$key} = "$nosave";
$key = q/bibliographystyle/;
$external_labels{$key} = "$URL/" . q|node20_ct.html|;
$noresave{$key} = "$nosave";
$key = q/boxit/;
$external_labels{$key} = "$URL/" . q|node22_ct.html|;
$noresave{$key} = "$nosave";
$key = q/caption/;
$external_labels{$key} = "$URL/" . q|node23_ct.html|;
$noresave{$key} = "$nosave";
$key = q/cdots/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|;
$noresave{$key} = "$nosave";
$key = q/center/;
$external_labels{$key} = "$URL/" . q|node26_ct.html|;
$noresave{$key} = "$nosave";
$key = q/centerline/;
$external_labels{$key} = "$URL/" . q|node25_ct.html|;
$noresave{$key} = "$nosave";
$key = q/cextract/;
$external_labels{$key} = "$URL/" . q|node27_ct.html|;
$noresave{$key} = "$nosave";
$key = q/chapter/;
$external_labels{$key} = "$URL/" . q|node29_ct.html|;
$noresave{$key} = "$nosave";
$key = q/chaptersX/;
$external_labels{$key} = "$URL/" . q|node28_ct.html|;
$noresave{$key} = "$nosave";
$key = q/cinsert/;
$external_labels{$key} = "$URL/" . q|node30_ct.html|;
$noresave{$key} = "$nosave";
$key = q/cite/;
$external_labels{$key} = "$URL/" . q|node31_ct.html|;
$noresave{$key} = "$nosave";
$key = q/class/;
$external_labels{$key} = "$URL/" . q|node32_ct.html|;
$noresave{$key} = "$nosave";
$key = q/clipsfunc/;
$external_labels{$key} = "$URL/" . q|node33_ct.html|;
$noresave{$key} = "$nosave";
$key = q/comment/;
$external_labels{$key} = "$URL/" . q|node34_ct.html|;
$noresave{$key} = "$nosave";
$key = q/copyright/;
$external_labels{$key} = "$URL/" . q|node35_ct.html|;
$noresave{$key} = "$nosave";
$key = q/cparam/;
$external_labels{$key} = "$URL/" . q|node36_ct.html|;
$noresave{$key} = "$nosave";
$key = q/date/;
$external_labels{$key} = "$URL/" . q|node37_ct.html|;
$noresave{$key} = "$nosave";
$key = q/description/;
$external_labels{$key} = "$URL/" . q|node38_ct.html|;
$noresave{$key} = "$nosave";
$key = q/document/;
$external_labels{$key} = "$URL/" . q|node40_ct.html|;
$noresave{$key} = "$nosave";
$key = q/documentstyle/;
$external_labels{$key} = "$URL/" . q|node39_ct.html|;
$noresave{$key} = "$nosave";
$key = q/em/;
$external_labels{$key} = "$URL/" . q|node41_ct.html|;
$noresave{$key} = "$nosave";
$key = q/enumerate/;
$external_labels{$key} = "$URL/" . q|node42_ct.html|;
$noresave{$key} = "$nosave";
$key = q/errors/;
$external_labels{$key} = "$URL/" . q|node115_ct.html|;
$noresave{$key} = "$nosave";
$key = q/fbox/;
$external_labels{$key} = "$URL/" . q|node43_ct.html|;
$noresave{$key} = "$nosave";
$key = q/figure/;
$external_labels{$key} = "$URL/" . q|node44_ct.html|;
$noresave{$key} = "$nosave";
$key = q/flushleft/;
$external_labels{$key} = "$URL/" . q|node45_ct.html|;
$noresave{$key} = "$nosave";
$key = q/flushright/;
$external_labels{$key} = "$URL/" . q|node46_ct.html|;
$noresave{$key} = "$nosave";
$key = q/footnote/;
$external_labels{$key} = "$URL/" . q|node47_ct.html|;
$noresave{$key} = "$nosave";
$key = q/framebox/;
$external_labels{$key} = "$URL/" . q|node48_ct.html|;
$noresave{$key} = "$nosave";
$key = q/func/;
$external_labels{$key} = "$URL/" . q|node50_ct.html|;
$noresave{$key} = "$nosave";
$key = q/functionsection/;
$external_labels{$key} = "$URL/" . q|node49_ct.html|;
$noresave{$key} = "$nosave";
$key = q/helpfontfamily/;
$external_labels{$key} = "$URL/" . q|node54_ct.html|;
$noresave{$key} = "$nosave";
$key = q/helpfontsize/;
$external_labels{$key} = "$URL/" . q|node55_ct.html|;
$noresave{$key} = "$nosave";
$key = q/helpignore/;
$external_labels{$key} = "$URL/" . q|node51_ct.html|;
$noresave{$key} = "$nosave";
$key = q/helpinput/;
$external_labels{$key} = "$URL/" . q|node53_ct.html|;
$noresave{$key} = "$nosave";
$key = q/helponly/;
$external_labels{$key} = "$URL/" . q|node52_ct.html|;
$noresave{$key} = "$nosave";
$key = q/helpref/;
$external_labels{$key} = "$URL/" . q|node56_ct.html|;
$noresave{$key} = "$nosave";
$key = q/helprefX/;
$external_labels{$key} = "$URL/" . q|node57_ct.html|;
$noresave{$key} = "$nosave";
$key = q/hline/;
$external_labels{$key} = "$URL/" . q|node58_ct.html|;
$noresave{$key} = "$nosave";
$key = q/hrule/;
$external_labels{$key} = "$URL/" . q|node59_ct.html|;
$noresave{$key} = "$nosave";
$key = q/huge1/;
$external_labels{$key} = "$URL/" . q|node60_ct.html|;
$noresave{$key} = "$nosave";
$key = q/image/;
$external_labels{$key} = "$URL/" . q|node67_ct.html|;
$noresave{$key} = "$nosave";
$key = q/include/;
$external_labels{$key} = "$URL/" . q|node63_ct.html|;
$noresave{$key} = "$nosave";
$key = q/input/;
$external_labels{$key} = "$URL/" . q|node64_ct.html|;
$noresave{$key} = "$nosave";
$key = q/it/;
$external_labels{$key} = "$URL/" . q|node68_ct.html|;
$noresave{$key} = "$nosave";
$key = q/item/;
$external_labels{$key} = "$URL/" . q|node66_ct.html|;
$noresave{$key} = "$nosave";
$key = q/itemize/;
$external_labels{$key} = "$URL/" . q|node65_ct.html|;
$noresave{$key} = "$nosave";
$key = q/label/;
$external_labels{$key} = "$URL/" . q|node69_ct.html|;
$noresave{$key} = "$nosave";
$key = q/large1/;
$external_labels{$key} = "$URL/" . q|node70_ct.html|;
$noresave{$key} = "$nosave";
$key = q/ldots/;
$external_labels{$key} = "$URL/" . q|node74_ct.html|;
$noresave{$key} = "$nosave";
$key = q/macronotfound/;
$external_labels{$key} = "$URL/" . q|node117_ct.html|;
$noresave{$key} = "$nosave";
$key = q/maketitle/;
$external_labels{$key} = "$URL/" . q|node75_ct.html|;
$noresave{$key} = "$nosave";
$key = q/mbox/;
$external_labels{$key} = "$URL/" . q|node76_ct.html|;
$noresave{$key} = "$nosave";
$key = q/member/;
$external_labels{$key} = "$URL/" . q|node78_ct.html|;
$noresave{$key} = "$nosave";
$key = q/membersection/;
$external_labels{$key} = "$URL/" . q|node77_ct.html|;
$noresave{$key} = "$nosave";
$key = q/newcommand/;
$external_labels{$key} = "$URL/" . q|node79_ct.html|;
$noresave{$key} = "$nosave";
$key = q/newpage/;
$external_labels{$key} = "$URL/" . q|node80_ct.html|;
$noresave{$key} = "$nosave";
$key = q/nocite/;
$external_labels{$key} = "$URL/" . q|node81_ct.html|;
$noresave{$key} = "$nosave";
$key = q/noindent/;
$external_labels{$key} = "$URL/" . q|node82_ct.html|;
$noresave{$key} = "$nosave";
$key = q/normalsize/;
$external_labels{$key} = "$URL/" . q|node83_ct.html|;
$noresave{$key} = "$nosave";
$key = q/par/;
$external_labels{$key} = "$URL/" . q|node87_ct.html|;
$noresave{$key} = "$nosave";
$key = q/param/;
$external_labels{$key} = "$URL/" . q|node84_ct.html|;
$noresave{$key} = "$nosave";
$key = q/parindent/;
$external_labels{$key} = "$URL/" . q|node85_ct.html|;
$noresave{$key} = "$nosave";
$key = q/parskip/;
$external_labels{$key} = "$URL/" . q|node86_ct.html|;
$noresave{$key} = "$nosave";
$key = q/psboxto/;
$external_labels{$key} = "$URL/" .